Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2020 Utgivningsland okänt / Ej specificerat